De Morganの法則
De Morganの法則第4
は
直観主義論理
上では成立しない．
de Morganの法則第4は弱排中律と同値